Notiz �ber die algebraischen Minimumsfl�chen

Zur Kontextanalyse einer algebraischen Programmiersprache

Automatische Fehlersuche in algebraischen Spezifikationen

sig List { -list basis cplx: one Nat, -list functions and predicates -#1 specification: list app: List -> lone List, lastcons: Elem -> lone List, r_isin: set Elem, -reversed arguments -#2 specification: list-dup adjoin: Elem -> lone List, rmdup: lone List, disjoin: set List, -#3 specification: list-last last: lone Elem, butlast: lone List, r_butlastn: Nat -> lone List, -reversed arguments rev: ...

Flexible Modellierung mit Algebraischen Higher Order Netzen

Zusammenfassung In diesem Papier wird die Flexibilisierung innerhalb der Prozeßmodellierung durch Algebraische Higher Order Netze vorgestellt. Durch die Erweiterung um Higher Order Konzepte wird die konkrete Ausführung von Aktivitäten vom Prozeßmodell getrennt. Damit wird ein dynamischer Austausch von Informationen mit der Umgebung unterstützt, so daß eine Modifikation der Ausführung von Aktivi...

Transformation objektorientierter Systeme basierend auf algebraischen Graph-Transformationen

Since the beginning of software development, making existing software conformant to new demands has always been an important topic. The extension of software by new functionality is facilitated or even made possible by software refactoring: improving the structure of software without changing its behaviour in order to implement additional functionality more easily. Unfortunately, the transforma...

fOOSE- Eine integrierte formale Softwareentwicklungsmethode

Die Methode “fOOSE” (formal Object-Oriented Software Engineering) exemplifiziert eine auf der “Unified Modeling Language” (UML) basierende, integrierte formale Softwareentwicklungsmethode: Jacobsons “Object-Oriented Software Engineering”-Methode (OOSE) wird um diagrammgestützte, formale Spezifikationen, Beweisverpflichtungen und Verfeinerungen erweitert. Die diagrammatischen UMLModelle werden u...